停止性 halting

必ず終わる

有限ステップで停止する

「無限ループ」を生み出す手続きはアルゴリズムではない